David Boris Paul Déharbe

E-mail:

Currículo:

David Déharbe é docente no Departamento de Informática e Matemática Aplicada da Universidade Federal do Rio Grande do Norte desde 1997. Leciona para os cursos de Bacharelado em Ciência da Computação e de Engenharia de Software. Participa do Programa de Pós-graduação em Sistemas e Computação, do qual é o atual Coordenador. Pesquisador da área de métodos formais, tem-se especializado no método B, uma técnica de desenvolvimento rigoroso de componentes de software, e na resolução SMT, uma técnica de prova automática de teorema usada como engenho de raciocínio em uma variedade de ferramentas de engenharia de software. É membro associado do grupo de pesquisa VeriDis (INRIA e Max-Planck Institut Informatik), e participa ativamente do desenvolvimento do provador automático de teoremas veriT.
Foi pesquisador visitante da Carnegie Mellon University entre 1995 e 1997, quando desenvolveu a ferramenta CV, um model checker para a linguagem de descrição VHDL. Realizou graduação e pós-graduação em informática na Université de Grenoble, e graduação em ciências exatas na Université de Nancy.

Currículo Lattes: http://lattes.cnpq.br/2985658685449858